formal axiomatics

См. также в других словарях:

• Quasi-set theory — is a formal mathematical theory of collections of indistinguishable objects, mainly motivated by the assumption that certain objects treated in quantum physics are indistinguishable. Quasi set theory is closely related to, yet distinct from,… …   Wikipedia

• Greek arithmetic, geometry and harmonics: Thales to Plato — Ian Mueller INTRODUCTION: PROCLUS’ HISTORY OF GEOMETRY In a famous passage in Book VII of the Republic starting at Socrates proposes to inquire about the studies (mathēmata) needed to train the young people who will become leaders of the ideal… …   History of philosophy

• Principia Mathematica — For Isaac Newton s book containing basic laws of physics, see Philosophiæ Naturalis Principia Mathematica. The title page of the shortened version of the Principia Mathematica to *56. The Principia Mathematica is a three volume work on the… …   Wikipedia

• Paul Bernays — Born 17 October 1888(1888 10 17) London Died 18 September 1977(1977 09 18) (aged 88) …   Wikipedia

• Jesús Mosterín — in October 2008 Jesús Mosterín (born 1941) is a leading Spanish philosopher and a thinker of broad spectrum, often at the frontier between science and philosophy. Contents …   Wikipedia

• Alfred Tarski — Infobox scientist name = Alfred Tarski caption = birth date = birth date|1901|01|14 birth place = Warsaw, Poland (under Russian rule at the time) death date = death date|1983|10|26 death place = Berkeley, California fields = Mathematics, logic,… …   Wikipedia

• Newton da Costa — at Berkeley in 1973 Photo courtesy George M. Bergman Full name Newton da Costa Born 16 September 1929 (1929 09 16) (age 82) Curitiba, B …   Wikipedia

• Finite set — In mathematics, a set is called finite if there is a bijection between the set and some set of the form {1, 2, ..., n} where n is a natural number. (The value n = 0 is allowed; that is, the empty set is finite.) An infinite set is a set which is… …   Wikipedia

• Tarski–Grothendieck set theory — (TG) is an axiomatic set theory derived by marrying Tarski s axiom (see below) to ZF. TG is part of the Mizar system for formal computer verification of mathematical proofs.AxiomsWhile the axioms and definitions defining Mizar s basic objects and …   Wikipedia

• Théorie des catégories — La théorie des catégories étudie les structures mathématiques et les relations qu elles entretiennent. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l informatique théorique et en… …   Wikipédia en Français

• Jacques Derrida — Derrida redirects here. For the documentary film, see Derrida (film). For the physicist, see Bernard Derrida. Jacques Derrida Full name Jacques Derrida Born July 15, 1930(1930 07 15) El Biar ( …   Wikipedia